821. Unifying theories of programming :
Author: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,computerkunde.,software engineering.
Classification :
QA76
.
6
B875
2013
822. Vagueness in communication :
Author: Rick Nouwen [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Natural language processing (Computer science), Congresses,Vagueness (Philosophy), Congresses
Classification :
QA76
.
9
.
L63
V34
2011
823. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
824. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
A37
2005
825. WOPPLOT 86: parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: edited by J.D. Becker and I. Eisele
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
253
826. WOPPLOT 86 : parallel processing--logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986
Author: WOPPLOT 68, )6891, Neubiberg, Germany(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
253
827. Web-Age Information Management
Author: \ Xiaokui Xiao Zhenjie Zhang (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Databases Management,پایگاههای اطلاعاتی, -- Congresses, -- کنگرهها, -- مدیریت,a03,a03,Computer science.,علوم کامپیوتر
Classification :
QA
76
.
9
.
D3W4
2015
E-Book
,
828. Web Reasoning and Rule Systems
Author: \ Balder ten Cate , Alessandra Mileo (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگرهها ,برنامهنویسی مبتنی بر قواعد -- کنگره ها ,برنامهنویسی منطقی -- کنگرهها
Classification :
TK
5105
.
88815
.
W4
2015
E-Book
,
829. Web and wireless geographical information systems :
Author: Miguel R. Luaces, Farid Karimipour (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Geographic information systems, Congresses.,World Wide Web, Congresses.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Data mining.,Data mining.,Geographic information systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Network hardware.,Systems analysis & design.,World Wide Web.
Classification :
G70
.
212
830. Web reasoning and rule systems
Author: Markus Krötzsch, Umberto Straccia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
Classification :
TK5105
.
88815
.
R8
2012eb
831. Wissensbasierte Systeme.
Author: Wilfried Brauer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
833. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
5
.
N664
1992
834. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
63
.
N67
1993
835. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
87
836. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author: edited by W. Bibel and R. Kowalski
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
87
837. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Author: / edited by D.W. Loveland
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
C66
,
1982
838. 30th IEEE International Symposium on Multiple-Valued Logic )ISMVL 2000( : proceedings
Author: sponsored by Oregon Center for Advanced Technology Education...]et al[, supported by School of Engineering and Applied Science, Portland State University...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Many-valued logic,Congresses ، Switching theory
Classification :
QA
9
.
45
.
I58
2000
839. 9th International Conference on Automated Deduction :
Author: E. Lusk, R. Overbeek (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
Classification :
QA76
.
9
.
A96
I57
1988
